automated theorem proving 뜻

• 자동 정리 증명

• theorem:    noun, 정리
• proving ground:    , (장비, 이론 등의) 실험장
• automated reasoning:    자동화된 추론
• automated teller:    현금 자동 입출금기
• automated test:    자동화된 테스트
• anheung proving ground:    안흥종합시험장
• automated banking machine:    현금 자동 입출금기
• automated external defibrillator:    자동심장충격기
• automated fare collection:    자동 요금 징수
• automated guideway transit:    무인궤도교통
• automated system recovery:    시스템 자동 복구
• automated teller machine:    현금 자동 입출금기; 현금 자동 지급기; 현급 지급기
• automated transfer vehicle:    ATV (우주선)
• sherlock automated design analysis:    셜록 자동화 디자인 분석
• automated system recovery preparation wizard:    시스템 자동 복구 준비 마법사